$\forall$$A$:$\mathbb{P}$. Dec($A$) $\Rightarrow$ ($\neg\neg$$A$) $\Rightarrow$ $A$